وأمّا التضمن والالتزام ، فهما تابعان للمطابقة ، إذ التضمن فهم جزء المسمّى ، والالتزام فهم لازم المسمّى ، فهما فرعان للمطابقة تابعان ، والتابع والفرع لا يوجد بدون المتبوع والأصل ، إلّا أنّ الالتزام يكون للبسائط والمركّبات ، والتضمن للمركّبات دون البسائط « 1 » .

--> ( 1 ) . كشف الحقائق ، ص 43 : « المطابقة تستتبع التضمن بشرط كون الماهية مركبة » .